#!/bin/sh

import sys
import os
import os.path
import glob

def doOne(base):
	if not os.path.exists(base):
		os.mkdir(base)
	save=os.getcwd()
	os.chdir(base)
	os.system("weave ../../src/" + base + ".web")
	os.system("tex " + base)
	os.system("dvipdf " + base)
	os.chdir(save)

if len(sys.argv) > 1:
	doOne(sys.argv[1])
else:
	for web in glob.glob("../src/*.web"):
		base=os.path.basename(os.path.splitext(web)[0])
		doOne(base)
